1

Constructing an e-Supply Chain at Eastman Chemical Company

Year:
2004
Language:
english
File:
PDF, 384 KB
english, 2004
20

Synthesis of ML programs in the system Coq

Year:
1993
Language:
english
File:
PDF, 1.81 MB
english, 1993